Mathematical constructivism - PDFSEARCH.IO - Document Search Engine

Mathematical constructivism
Results: 119

#	Item
101	Constructive set theory – an overview Benno van den Berg Utrecht University Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2012-09-10 05:26:08 Z notation Constructive set theory Intuitionism Zermelo–Fraenkel set theory Set theory Axiom of choice Axioms of set theory Constructible universe Ordinal analysis Mathematical logic Logic Mathematical constructivism
102	The discovery of E.W. Beth’s semantics for intuitionistic logic A.S. Troelstra and P. van Ulsen Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2001-09-06 10:06:20 Mathematical constructivism Intuitionism Epistemology Philosophy of mathematics Boolean algebra Intuitionistic logic Arend Heyting Heyting arithmetic Negation Logic Mathematical logic Mathematics
103	Constructive Set Theories and their Category-theoretic Models Alex Simpson∗ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-03-03 11:00:11 Model theory Constructive set theory Intuitionism Mathematical constructivism Constructivism Peano axioms First-order logic Function Interpretation Mathematical logic Mathematics Logic
104	PDF Document Add to Reading List Source URL: www.jaist.ac.jp Language: English - Date: 2010-09-15 04:17:35 Logic Axiom of choice Set theory Function Type theory Realizability Constructive set theory Constructivism Mathematical constructivism Mathematical logic Mathematics
105	PDF Document Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-04-15 09:47:15 Propositional calculus Non-classical logic Proof theory Intuitionism Intuitionistic logic Natural deduction Negation First-order logic Law of excluded middle Logic Mathematical logic Mathematical constructivism
106	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-07-25 08:46:35 Model theory Sheaf theory Mathematical constructivism Intuitionism Topos Categorical logic Kripke semantics Category theory Interpretation Mathematical logic Logic Mathematics
107	PDF Document Add to Reading List Source URL: publish.uwo.ca Language: English - Date: 2012-09-08 09:36:38 Categorical logic Theoretical computer science Topos William Lawvere Mathematical constructivism Sheaf Mathematical logic Alexander Grothendieck Set theory Mathematics Category theory Abstract algebra
108	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2005-08-18 03:40:42 Mathematical logic Epistemology Infinity Intuitionism Constructivism Foundations of mathematics Hermann Weyl Finitism Georg Cantor Mathematics Philosophy of mathematics Mathematical constructivism
109	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2008-08-14 05:29:12 Logic Lattice theory Mathematical constructivism Non-classical logic Heyting algebra Turing degree Reduction Turing reduction Albert Muchnik Mathematical logic Mathematics Computability theory
110	PDF Document Add to Reading List Source URL: publish.uwo.ca Language: English - Date: 2003-03-16 20:21:10 Hermann Weyl Mathematical constructivism Weyl character formula Intuitionism Mathematical logic Continuum Spacetime David Hilbert Exponential sum Mathematics Number theorists Philosophy of mathematics

UPDATE